Rajeev Alur - PDFSEARCH.IO - Document Search Engine

Rajeev Alur
Results: 97

#	Item
61	First-Order and Temporal Logics for Nested Words Rajeev Alur Marcelo Arenas Pablo Barcel´o Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2007-04-19 12:20:30
62	Optimal Scheduling for Constant-Rate Multi-Mode Systems Rajeev Alur Ashutosh Trivedi Dominik Wojtczak Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-06 09:08:02
63	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:16
64	Dispatch Sequences for Embedded Control Models ? Rajeev Alur and Arun Chandrashekharapuram Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, U.S.A. Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:27
65	Regular Transformations of Infinite Strings Rajeev Alur Emmanuel Filiot Ashutosh Trivedi Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-05-15 12:41:03
66	Model Checking on Trees with Path Equivalences⋆ ˇ Rajeev Alur, Pavol Cern´ y, and Swarat Chaudhuri University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-08-06 16:40:04
67	On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-22 15:44:39
68	SUR SURVEY Theory in Practice for System Design and Verification Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-01-07 11:30:13
69	Symbolic Analysis for GSMP Models with One Stateful Clock Mikhail Bernadsky and Rajeev Alur Department of Computer and Information Science University of Pennsylvania {mbernads, alur}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 08:53:51
70	Generating Litmus Tests for Contrasting Memory Consistency Models? Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin University of Pennsylvania Abstract. Well-defined memory consistency models are necessary for Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-19 10:17:08